Jean-Pierre Cèbe's Documents

Jean-Pierre Cèbe's Documents

Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions

Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions
Read more
Malliavin Calculus for Processes with Jumps (Stochastic Monographs: Theory and Applications of Stochastic Processes, Vol 2)

Malliavin Calculus for Processes with Jumps (Stochastic Monographs: Theory and Applications of Stochastic Processes, Vol 2)
Read more
Introduction au raisonnement mathématique - logique et théorie des ensembles

Introduction au raisonnement mathématique - logique et théorie des ensembles
Read more
Die altorientalischen Reiche II: Das Ende des 2. Jahrtausends

Die altorientalischen Reiche II: Das Ende des 2. Jahrtausends
Read more
Robustness in Automatic Speech Recognition: Fundamentals and Applications

Robustness in Automatic Speech Recognition: Fundamentals and Applications
Read more
Moebius: The Collected Fantasies of Jean Giraud 8: Mississippi River

Moebius: The Collected Fantasies of Jean Giraud 8: Mississippi River
Read more
Malliavin Calculus for Processes with Jumps (Stochastic Monographs : Theory and Applications of Stochastic Processes, Vol 2)

Malliavin Calculus for Processes with Jumps (Stochastic Monographs : Theory and Applications of Stochastic Processes, Vol 2)
Read more
Balancing the Banks: Global Lessons from the Financial Crisis

Balancing the Banks: Global Lessons from the Financial Crisis
Read more
Die altorientalischen Reiche I: Vom Paläolithikum bis zur Mitte des 2. Jahrtausends

Die altorientalischen Reiche I: Vom Paläolithikum bis zur Mitte des 2. Jahrtausends
Read more
Histoire des probabilités: des origines à 1900

Histoire des probabilités: des origines à 1900
Read more
Learning Spaces: Interdisciplinary Applied Mathematics

Learning Spaces: Interdisciplinary Applied Mathematics
Read more
Économie du sport

Économie du sport
Read more
Julie, or, The new Heloise: letters of two lovers who live in a small town at the foot of the Alps

Julie, or, The new Heloise: letters of two lovers who live in a small town at the foot of the Alps
Read more
Le jardin d'Eiden: une annee de colles in Math Spe MP

Le jardin d'Eiden: une annee de colles in Math Spe MP
Read more
PHP 5

PHP 5
Read more
PHP 5

PHP 5
Read more
Malliavin Calculus for Processes with Jumps (Stochastic Monographs : Theory and Applications of Stochastic Processes 2)

Malliavin Calculus for Processes with Jumps (Stochastic Monographs : Theory and Applications of Stochastic Processes 2)
Read more
Die altorientalischen Reiche III: Die erste Hälfte des 1. Jahrtausends

Die altorientalischen Reiche III: Die erste Hälfte des 1. Jahrtausends
Read more
Ombres, tome VII : Le Tableau

Ombres, tome VII : Le Tableau
Read more
Électrostatique et magnétostatique : Cours

Électrostatique et magnétostatique : Cours
Read more
Palladium Nanoparticles

Palladium Nanoparticles
Read more
Odd Order Group Actions and Witt Classification of Innerproducts

Odd Order Group Actions and Witt Classification of Innerproducts
Read more
Agents of Change: Crossing the Post-Industrial Divide

Agents of Change: Crossing the Post-Industrial Divide
Read more
Modeling the Internet and the Web: Probabilistic Methods and Algorithms

Modeling the Internet and the Web: Probabilistic Methods and Algorithms
Read more
Les Neuf defis du manager : Un roman d'entreprise, 2eme edition

Les Neuf defis du manager : Un roman d'entreprise, 2eme edition
Read more
Artificial Evolution: 6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers

Artificial Evolution: 6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers
Read more
Le système de santé québécois

Le système de santé québécois
Read more
Advances in dynamic games and their applications

Advances in dynamic games and their applications
Read more
Artificial Evolution: 6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers (Lecture Notes in Computer Science)

Artificial Evolution: 6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers (Lecture Notes in Computer Science)
Read more
The Western Alps, from Rift to Passive Margin to Orogenic Belt: An Integrated Geoscience Overview

The Western Alps, from Rift to Passive Margin to Orogenic Belt: An Integrated Geoscience Overview
Read more